single is package{
  import types;
  
  single is bar;
}